pattern efficiency 예문

• This paper formalizes analysis patterns with raise . after analyzing static structure diagram , present a definite specification by raise language and analysis patterns " formal specifications . the formalizing is a foundation of reusing analysis patterns efficiency and automated tools